4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/pdr/PdrSubengine.java,PdrSubengine,PdrSubengine,#String#Specification#boolean#String#PdrEngine#Director#,44

Before Change


		super("pdr-" + prop);
		this.prop = prop;
		Node single = new NodeBuilder(spec.node).clearProperties().addProperty(prop).build();
		this.node = slicing ? LustreSlicer.slice(single, spec.dependencyMap) : single;
		this.parent = parent;
		this.director = director;

After Change


		super("pdr-" + prop);
		this.prop = prop;
		Node single = new NodeBuilder(spec.node).clearProperties().addProperty(prop).build();
		this.node = LustreSlicer.slice(single, spec.dependencyMap);
		this.parent = parent;
		this.director = director;